Assumptions: finitely cocomplete, self-dual
Conclusions: finitely complete
Proof: This holds by self-duality.